Integer programming - PDFSEARCH.IO - Document Search Engine

Integer programming
Results: 382

#	Item
171	JEM/SMILES Level 2 Research Data (L2r) Product Guide for VersionSTRUCTURE OF SMILES L2r PRODUCTS JANUARY 11, 2012 Add to Reading List Source URL: smiles.nict.go.jp Language: English - Date: 2012-07-31 18:35:34 Software engineering Hierarchical Data Format Jem Data file Scheme ALGOL 68 Integer Simplified molecular-input line-entry specification Computing Programming language theory Data types
172	Planning with Preferences and Trajectory Constraints by Integer Programming Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:18:21 Preference Mathematical optimization Automated planning and scheduling Constraint programming Planning Domain Definition Language
173	An Integer Polynomial Programming Based Framework for Lifted MAP Inference Somdeb Sarkhel, Deepak Venugopal Computer Science Department The University of Texas at Dallas {sxs104721,dxv021000}@utdallas.edu Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:57:33 Applied mathematics Artificial intelligence Predicate logic Mathematical logic Graphical models Markov logic network First-order logic Algorithm Atomic formula Mathematics Theoretical computer science Logic
174	1 Efficient Reasoning about Data Trees via Integer Linear Programming CLAIRE DAVID, Universit´e Paris-Est LEONID LIBKIN, University of Edinburgh TONY TAN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:06:25 Electronic design automation Formal methods Logic in computer science NP-complete problems Complexity classes Satisfiability Modulo Theories Symbol Boolean satisfiability problem P-complete Theoretical computer science Computational complexity theory Applied mathematics
175	Reviving Integer Programming Approaches for AI Planning: A Branch-and-Cut Framework Menkes van den Briel Thomas Vossen Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:16:32 Linear programming Operations research Euler–Lagrange equation Function Mathematics Mathematical analysis Convex optimization
176	Proposed changes to the FITS Standard to support 64-bit integers Revision date: 7 November 2005 Change 1: Add a line to table 5.2 as shown: Value 8 16 Add to Reading List Source URL: fits.gsfc.nasa.gov Language: English - Date: 2005-11-09 14:04:48 Data types Primitive types Computer arithmetic Integer Java class file Floating point Bit array C C++ classes Computing Software engineering Computer programming
177	Perl versiondocumentation - bignum NAME bignum - Transparent BigNumber support for Perl SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:16:12 Computer programming Arbitrary-precision arithmetic Integer NaN GNU Multiple Precision Arithmetic Library Perl Floating point Brainfuck Computing Computer arithmetic Software engineering
178	Journal of Artificial Intelligence Research257 Submitted 09/07; publishedLoosely Coupled Formulations for Automated Planning: An Integer Programming Perspective Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:20:43 Variables Elementary mathematics Combinatorial optimization Linear programming Automated planning and scheduling Constraint satisfaction Parallel computing Function Mathematics Mathematical optimization Operations research
179	INTEGER PROGRAMMING APPROACHES FOR AUTOMATED PLANNING by Menkes Hector Louis van den Briel A Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 19:01:15 Mathematical optimization Automated planning and scheduling Linear programming AMPL Mathematical model Integer programming Scheduling Logic programming Algorithm Operations research Mathematics Applied mathematics
180	Perl versiondocumentation - bigrat NAME bigrat - Transparent BigNumber/BigRational support for Perl SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:11:22 Computer programming Arbitrary-precision arithmetic Integer NaN GNU Multiple Precision Arithmetic Library Perl module Perl Floating point Square root Computing Computer arithmetic Software engineering

UPDATE